Diclib.com
Словарь ChatGPT

Поиск в словаре Индивидуальные решения

Введите слово или словосочетание на любом языке 👆

Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

как употребляется слово
частота употребления
используется оно чаще в устной или письменной речи
варианты перевода слова
примеры употребления (несколько фраз с переводом)
этимология

free variable - перевод на русский

CLASSIFICATION OF VARIABLES IN A LOGIC FORMULA BASED ON WHETHER OR NOT THEY ARE INSIDE THE SCOPE OF A QUANTIFIER

Free variable; Bound variable; Variable binding operation; Variable-binding operation; Free variables; Bound variables; Unbound variable; Unbound variables; Variable-binding operator; Variable binding operator; Free and bound variables; Bound variable clash; Free and bound variable; Placeholder (computer programming); Free variables & bound variables; Free occurrence; Placeholder variable; Apparent variable

$Tree summarizing the syntax of the expression <math>\forall x\, ((\exists y\, A(x)) \vee B(z)) </math>$

Найдено результатов: 2210

free variable

математика

свободная переменная

free variable

свободная переменная

unbound variable

математика

несвязанная переменная

apparent variable

логика

кажущаяся переменная

связанная переменная

bound variable

общая лексика

связанная переменная

free occurrence

общая лексика

свободное вхождение

связанное

явное

simple variable

STORAGE LOCATION PAIRED WITH A NAME, WHICH CONTAINS A VALUE

Program variable; Scalar variable; Variable scope; Simple variable; Variable (computing); Variable (programming); Variable lifetime; Scope and extent; Variable scope and extent; Variable extent; Variable (computer programming); Storage location; Assignable variable

математика

простая переменная

scalar variable

STORAGE LOCATION PAIRED WITH A NAME, WHICH CONTAINS A VALUE

Program variable; Scalar variable; Variable scope; Simple variable; Variable (computing); Variable (programming); Variable lifetime; Scope and extent; Variable scope and extent; Variable extent; Variable (computer programming); Storage location; Assignable variable

общая лексика

скалярная переменная

переменная, принимающая значения скалярного типа

Смотрите также

scalar type; scalar value

system variable

DYNAMIC VALUE THAT AFFECTS THE BEHAVIOR OF PROCESSES ON A COMPUTER

%SystemRoot%; %SystemDrive%; C：\WINDOWS; Environment variables; Env var; LC ALL; Environment (computing); Shell variable; Printenv; AppData; Environmental variable; %SYSTEMROOT%; $HOME; System variable; LD LIBRARY PATH; LIBPATH; LIBPATH (AIX); PROMPT (environment variable); Master environment; Pre-environment; Reserved environment variable; Master environment variable; Local environment variable; Local environment (computing); Local environment (DOS); Master environment (DOS); Pre-environment variable; Environment segment; Environment segment (computing); Environment segment (DOS); %APPEND%; %CONFIG%; %CMDLINE%; %COMSPEC%; %COPYCMD%; %DIRCMD%; %LANG%; %LANGSPEC%; %NO SEP%; %PATH%; %PROMPT%; %TEMP%; %TMP%; System environment; System environment (computing); System environment (DOS); System information variable; System information variable (computing); System information variable (DOS); $CLS (environment variable); Pseudo-environment variable; Unix environment variable; DOS environment variable; GEM environment variable; OS/2 environment variable; Windows environment variable; DOS pseudo-environment variable; Windows pseudo-environment variable; Dynamic environment variable; Dynamic environment variable (Microsoft); Dynamic environment variable (Windows); Dynamic environment variable (CMD); Dynamic environment variable (COMMAND.COM); Dynamic environment variable (DOS); System info variable; System information variable (COMMAND.COM); DOS system information variable; DOS system info variable; Internal variable (4DOS); Internal variable (4OS2); Internal variable (4NT); Internal variable (JP Software); 4DOS internal variable; 4OS2 internal variable; 4NT internal variable; 4DOS variable function; 4OS2 variable function; 4NT variable function; Variable function (4DOS); Variable function (4OS2); Variable function (4NT); Variable function (JP Software); JP Software variable function; JP Software internal variable; Dynamic environment variable (COMMAND); System information variable (COMMAND); DR-DOS system information variable; Novell DOS system information variable; Novell system information variable; OpenDOS system information variable; Caldera system information variable; RETURN (DOS command); %DRDOSCFG%; %NWDOSCFG%; %OPENDOSCFG%; %DRCOMSPEC%; %DRSYS%; %HOMEDIR%; %CMDCMDLINE%; %CMDEXTVERSION%; %RANDOM%; %TIME%; %SWITCHAR%; %PEXEC%; %OS%; %NOSOUND%; %NOCHAR%; %LOGINNAME%; %INFO%; %$DIR%; %$PAGE%; %$LENGTH%; %$WIDTH%; %VER%; %YESCHAR%; %$CLS%; %TASKMGRWINDIR%; %$SLICE%; %$ON%; %$OFF%; %$HEADER%; %$FOOTER%; %ERRORLEVEL%; %ERRORLVL%; %HOUR%; %HOUR24%; %MINUTE%; %MONTH%; %SECOND%; %YEAR%; %/%; %STATION%; %MDOS EXEC%; %AM PM%; %GREETING TIME%; %MONTH NAME%; %NDAY OF WEEK%; %OS VERSION%; %SHORT YEAR%; %LOGIN NAME%; %P STATION%; %FULL NAME%; % YEAR%; % CODEPAGE%; % COLUMNS%; % COUNTRY%; % DAY%; % HOUR%; % MINUTE%; % MONTH%; % ROWS%; % SECOND%; MS-DOS environment; FBP USER (environment variable); FBP USER; BEGINLIBPATH (environment variable); BEGINLIBPATH; ENDLIBPATH (environment variable); ENDLIBPATH; Unset (Unix); C\WINDOWS; System variables; CD (pseudo-environment variable); %DIRSIZE%; %NEWFILE%; %COMM%; %HTTP DIR%; %HOSTNAME%; %FTPDIR%; %TZ%; %SOCKETS%; %LIBPATH%; LIBPATH (environment variable); Windir (Windows environment variable); Windir (environment variable); LOCALAPPDATA (Windows environment variable); LOCALAPPDATA (environment variable); LOCALAPPDATA; ProgramFiles (Windows environment variable); ProgramFiles (environment variable); ProgramFiles; ProgramFiles(x86) (Windows environment variable); ProgramFiles(x86) (environment variable); ProgramFiles(x86); ProgramW6432; ProgramW6432 (environment variable); ProgramW6432 (Windows environment variable); CommonProgramFiles; CommonProgramFiles (Windows environment variable); CommonProgramFiles (environment variable); SystemDrive (Windows environment variable); SystemDrive (environment variable); SystemDrive; SystemRoot; SystemRoot (environment variable); SystemRoot (Windows environment variable); ALLUSERSPROFILE (environment variable); ALLUSERSPROFILE; ALLUSERSPROFILE (Windows environment variable); PROGRAMDATA (environment variable); PROGRAMDATA; PROGRAMDATA (Windows environment variable); USERDOMAIN (environment variable); USERDOMAIN; USERDOMAIN (Windows environment variable); USERPROFILE (environment variable); USERPROFILE; USERPROFILE (Windows environment variable); APPDATA (environment variable); APPDATA; APPDATA (Windows environment variable); %APPDATA%; %LOCALAPPDATA%; %ProgramFiles%; %ProgramFiles(x86)%; %ProgramW6432%; %CommonProgramFiles%; %ALLUSERSPROFILE%; %PROGRAMDATA%; %USERDOMAIN%; %USERPROFILE%; %windir%; CMDLINE (environment variable); CONFIG (environment variable); $LD LIBRARY PATH; %HOMEDRIVE%; %HOMEPATH%; Setenv; Unsetenv; Environment string

параметр системы

environment variable

DYNAMIC VALUE THAT AFFECTS THE BEHAVIOR OF PROCESSES ON A COMPUTER

%SystemRoot%; %SystemDrive%; C：\WINDOWS; Environment variables; Env var; LC ALL; Environment (computing); Shell variable; Printenv; AppData; Environmental variable; %SYSTEMROOT%; $HOME; System variable; LD LIBRARY PATH; LIBPATH; LIBPATH (AIX); PROMPT (environment variable); Master environment; Pre-environment; Reserved environment variable; Master environment variable; Local environment variable; Local environment (computing); Local environment (DOS); Master environment (DOS); Pre-environment variable; Environment segment; Environment segment (computing); Environment segment (DOS); %APPEND%; %CONFIG%; %CMDLINE%; %COMSPEC%; %COPYCMD%; %DIRCMD%; %LANG%; %LANGSPEC%; %NO SEP%; %PATH%; %PROMPT%; %TEMP%; %TMP%; System environment; System environment (computing); System environment (DOS); System information variable; System information variable (computing); System information variable (DOS); $CLS (environment variable); Pseudo-environment variable; Unix environment variable; DOS environment variable; GEM environment variable; OS/2 environment variable; Windows environment variable; DOS pseudo-environment variable; Windows pseudo-environment variable; Dynamic environment variable; Dynamic environment variable (Microsoft); Dynamic environment variable (Windows); Dynamic environment variable (CMD); Dynamic environment variable (COMMAND.COM); Dynamic environment variable (DOS); System info variable; System information variable (COMMAND.COM); DOS system information variable; DOS system info variable; Internal variable (4DOS); Internal variable (4OS2); Internal variable (4NT); Internal variable (JP Software); 4DOS internal variable; 4OS2 internal variable; 4NT internal variable; 4DOS variable function; 4OS2 variable function; 4NT variable function; Variable function (4DOS); Variable function (4OS2); Variable function (4NT); Variable function (JP Software); JP Software variable function; JP Software internal variable; Dynamic environment variable (COMMAND); System information variable (COMMAND); DR-DOS system information variable; Novell DOS system information variable; Novell system information variable; OpenDOS system information variable; Caldera system information variable; RETURN (DOS command); %DRDOSCFG%; %NWDOSCFG%; %OPENDOSCFG%; %DRCOMSPEC%; %DRSYS%; %HOMEDIR%; %CMDCMDLINE%; %CMDEXTVERSION%; %RANDOM%; %TIME%; %SWITCHAR%; %PEXEC%; %OS%; %NOSOUND%; %NOCHAR%; %LOGINNAME%; %INFO%; %$DIR%; %$PAGE%; %$LENGTH%; %$WIDTH%; %VER%; %YESCHAR%; %$CLS%; %TASKMGRWINDIR%; %$SLICE%; %$ON%; %$OFF%; %$HEADER%; %$FOOTER%; %ERRORLEVEL%; %ERRORLVL%; %HOUR%; %HOUR24%; %MINUTE%; %MONTH%; %SECOND%; %YEAR%; %/%; %STATION%; %MDOS EXEC%; %AM PM%; %GREETING TIME%; %MONTH NAME%; %NDAY OF WEEK%; %OS VERSION%; %SHORT YEAR%; %LOGIN NAME%; %P STATION%; %FULL NAME%; % YEAR%; % CODEPAGE%; % COLUMNS%; % COUNTRY%; % DAY%; % HOUR%; % MINUTE%; % MONTH%; % ROWS%; % SECOND%; MS-DOS environment; FBP USER (environment variable); FBP USER; BEGINLIBPATH (environment variable); BEGINLIBPATH; ENDLIBPATH (environment variable); ENDLIBPATH; Unset (Unix); C\WINDOWS; System variables; CD (pseudo-environment variable); %DIRSIZE%; %NEWFILE%; %COMM%; %HTTP DIR%; %HOSTNAME%; %FTPDIR%; %TZ%; %SOCKETS%; %LIBPATH%; LIBPATH (environment variable); Windir (Windows environment variable); Windir (environment variable); LOCALAPPDATA (Windows environment variable); LOCALAPPDATA (environment variable); LOCALAPPDATA; ProgramFiles (Windows environment variable); ProgramFiles (environment variable); ProgramFiles; ProgramFiles(x86) (Windows environment variable); ProgramFiles(x86) (environment variable); ProgramFiles(x86); ProgramW6432; ProgramW6432 (environment variable); ProgramW6432 (Windows environment variable); CommonProgramFiles; CommonProgramFiles (Windows environment variable); CommonProgramFiles (environment variable); SystemDrive (Windows environment variable); SystemDrive (environment variable); SystemDrive; SystemRoot; SystemRoot (environment variable); SystemRoot (Windows environment variable); ALLUSERSPROFILE (environment variable); ALLUSERSPROFILE; ALLUSERSPROFILE (Windows environment variable); PROGRAMDATA (environment variable); PROGRAMDATA; PROGRAMDATA (Windows environment variable); USERDOMAIN (environment variable); USERDOMAIN; USERDOMAIN (Windows environment variable); USERPROFILE (environment variable); USERPROFILE; USERPROFILE (Windows environment variable); APPDATA (environment variable); APPDATA; APPDATA (Windows environment variable); %APPDATA%; %LOCALAPPDATA%; %ProgramFiles%; %ProgramFiles(x86)%; %ProgramW6432%; %CommonProgramFiles%; %ALLUSERSPROFILE%; %PROGRAMDATA%; %USERDOMAIN%; %USERPROFILE%; %windir%; CMDLINE (environment variable); CONFIG (environment variable); $LD LIBRARY PATH; %HOMEDRIVE%; %HOMEPATH%; Setenv; Unsetenv; Environment string

переменная окружения

Определение

Бесступенчатая передача

механизм для плавного изменения передаточного числа, т. е. отношения частоты вращения ведущего звена к частоте вращения ведомого. Применяется в транспортных машинах, станках, приборах и т.д. Бесступенчатое регулирование скорости по сравнению со ступенчатым повышает производительность машин, облегчает автоматизацию и даёт возможность управления на ходу. Б. п. - часть Вариатора, который состоит из одной или нескольких Б. п. и устройств, обеспечивающих их функционирование. Различают Б. п. электрические и механические.

В зависимости от вида передающих звеньев механические Б. п. бывают с жидким рабочим звеном (гидравлические), с гибким (ремённые и цепные) и с жёстким звеньями. По характеру работы Б. п. с гибким и жёстким звеньями делятся на фрикционные (трения) и зацепления, непрерывного действия и импульсные. Термин "Б. п." обычно применяют к механическим передачам с гибким и жёстким звеньями.

Электрические Б. п., выполняемые по системе генератор - двигатель, применяют в транспортных машинах и для др. целей при передаче значительных мощностей (см. Электропривод).

Гидравлические Б. п. бывают гидростатические (или объёмного действия) и гидродинамические (см. Гидропередача объёмная, Гидродинамическая передача). Для уменьшения частоты вращения при постоянном вращающем моменте и сравнительно низком кпд служат муфты скольжения - гидродинамические и др.

Фрикционные Б. п. с гибким звеном и раздвижными коническими шкивами (рис. 1) обеспечивают малое изменение передаточного числа при изменении нагрузки, отличаются высокой надёжностью, но имеют большие габариты. В Б. п. с гибким звеном (клиновым ремнем или специальной роликовой цепью) передаточное число изменяется: принудительным согласованным сближением одной пары конусов и раздвижением другой при помощи механизма управления (рис. 1, а); осевым перемещением одной пары конусов принудительно, а другой под действием пружины (рис. 1, б); изменением межосевого расстояния (А) при одном подпружиненном и другом закрепленном шкиве (рис. 1, в).

Б. п. зацепления с гибким звеном отличаются высокими эксплуатационными качествами, но сложны в изготовлении. Основные элементы этой передачи: раздвижные зубчатые конусы и пластинчатая цепь. Звенья цепи имеют поперечные окна, в которые вставлены пакеты тонких пластин (рис. 2). Против выступов на одном конусе располагаются впадины другого так, что при перемещении в осевом направлении пластины принимают форму зубьев, осуществляя зацепление.

Фрикционные Б. п. с жёстким звеном компактны и имеют обычно жёсткую механическую характеристику, но требуют значительных сил для прижатия рабочих тел и создания необходимого трения между ними; имеют пониженную надёжность в эксплуатации из-за возможности пробуксовки и повреждения рабочих поверхностей. Кпд и долговечность этих Б. п. в значительной степени зависят от геометрического скольжения, возникающего в результате неравенства скоростей ведущего и ведомого звеньев на линии контакта. Чем больше относительная скорость скольжения V_ck на линии контакта, тем ниже кпд Б. п. и больше износ трущихся поверхностей.

На рис. 3 показаны схемы некоторых Б. п., расположенных в порядке уменьшения геометрического скольжения. Многодисковые Б. п. (рис. 3, а), несмотря на невыгодную схему геометрического скольжения, широко применяются для средних и больших мощностей (до сотен квт) из-за благоприятных условий образования масляного клина в местах контакта и наличия большого числа узких контактных поверхностей. В лобовой Б. п. (рис. 3, б) с коническим роликом при совпадении вершины конуса А с точкой А, геометрическое скольжение отсутствует, а в др. положениях оно существенно меньше, чем у Б. п. с цилиндрическим роликом (рис. 3, в). В схеме торовой Б. п. (рис. 3, г) очень малое геометрическое скольжение во всех положениях роликов и практически отсутствует в положениях, когда вершина А конической поверхности, условно заменяющей сферическую поверхность ролика, находится в точках А₁ и А₂, на геометрической оси чашек. Б. п. этого типа выполняются с 2 и 3 роликами, отличаются высоким кпд и компактностью. Недостатком их являются сложность изготовления, ремонта и пониженная надёжность. Б. п. с точечным контактом имеет промежуточные стальные шары (рис. 4), положение физических или геометрических осей которых изменяется механизмом управления.

В импульсных Б. п. вращательное движение ведущего вала преобразуется в качательное (колебательное) или в неравномерное вращательное движение промежуточных звеньев, от которых через механизмы свободного хода движение передаётся ведомому валу. Передаточное число устанавливается механизмом управления, изменяющим амплитуду колебаний или скорость промежуточных звеньев. Неравномерность скорости ведомого звена частично сглаживается его инерцией.

Лит.: Детали машин. Справочник, 3 изд., т. 3, М., 1969; Краткий справочник машиностроителя, М., 1966.

Н. Я. Ниберг.

Рис. 1. Фрикционная бесступенчатая передача с гибким звеном и раздвижными шкивами: 1 - гибкое звено; 2 - управляемый шкив; 3 - подпружиненный шкив; 4 - постоянный шкив; 5 - цапфы.

Рис. 2. Бесступенчатая передача зацепления: 1 - пластинчатая цепь; 2 - пластины; 3 - зубчатые конусы.

Рис. 3. Фрикционная бесступенчатая передача с жёсткими звеньями (скорость геометрич. скольжения показана при наибольшей нагрузке): а - многодисковая (установка передаточного числа производится изменением межосевого расстояния А); б - лобовая с коническим роликом; в - лобовая с цилиндрическим роликом; г - торовая.

Рис. 4. Бесступенчатая передача с промежуточными шарами: а - с изменением наклона физической оси вращения шаров; б - с изменением наклона геометрической оси шаров (механизмы управления не показаны).

Показать больше определений

Википедия

Free variables and bound variables

In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively. The idea is related to a placeholder (a symbol that will later be replaced by some value), or a wildcard character that stands for an unspecified symbol.

In computer programming, the term free variable refers to variables used in a function that are neither local variables nor parameters of that function. The term non-local variable is often a synonym in this context.

An instance of a variable symbol is bound, in contrast, if the value of that variable symbol has been bound to a specific value or range of values in the domain of discourse or universe. This may be achieved through the use of logical quantifiers, variable-binding operators, or an explicit statement of allowed values for the variable (such as, "...where $n$ is a positive integer".) A variable symbol overall is bound if at least one occurrence of it is bound.^pp.142--143 Since the same variable symbol may appear in multiple places in an expression, some occurrences of the variable symbol may be free while others are bound,^p.78 hence "free" and "bound" are at first defined for occurrences and then generalized over all occurrences of said variable symbol in the expression. However it is done, the variable ceases to be an independent variable on which the value of the expression depends, whether that value be a truth value or the numerical result of a calculation, or, more generally, an element of an image set of a function.

Note that while the domain of discourse in many contexts is understood, when an explicit range of values for the bound variable has not been given, it may be necessary to specify the domain in order to properly evaluate the expression. For example, consider the following expression in which both variables are bound by logical quantifiers:

This expression evaluates to false if the domain of $x$ and $y$ is the real numbers, but true if the domain is the complex numbers.

The term "dummy variable" is also sometimes used for a bound variable (more commonly in general mathematics than in computer science), but this should not be confused with the identically named but unrelated concept of dummy variable as used in statistics, most commonly in regression analysis.

https://en.wikipedia.org/wiki/Free variables and bound variables

Как переводится free variable на Русский язык